Proof-carrying code

Results: 20



#Item
11Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer

Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2010-10-29 12:59:44
12Published in Proc. of Conference on Automated Deduction, 2002, pp. 47–62. A Gradual Approach to a More Trustworthy, yet Scalable, Proof-Carrying Code Robert R. Schneck1 and George C. Necula2,? 1

Published in Proc. of Conference on Automated Deduction, 2002, pp. 47–62. A Gradual Approach to a More Trustworthy, yet Scalable, Proof-Carrying Code Robert R. Schneck1 and George C. Necula2,? 1

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2010-10-29 12:59:42
13George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720

George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720

Add to Reading List

Source URL: www.eecs.berkeley.edu

Language: English - Date: 2014-01-20 12:46:10
14George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720

George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2014-01-20 12:46:10
15Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract

Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract

Add to Reading List

Source URL: pdos.csail.mit.edu

Language: English - Date: 2015-01-09 21:48:48
16Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Add to Reading List

Source URL: arieg.bitbucket.org

Language: English - Date: 2014-11-13 21:39:07
17HSARPA Cyber Security R&D

HSARPA Cyber Security R&D

Add to Reading List

Source URL: www.dhs.gov

Language: English - Date: 2013-01-02 14:25:44
18May[removed]Peter Lee

May[removed]Peter Lee

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2009-05-26 23:46:38
19

PDF Document

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2010-10-29 12:59:28